\begin{tabbing}
triggersGlue($A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\oplus$([\=Rsframe($l$;${\it tg}$;fpf{-}domain(${\it conds}$)); \+
\\[0ex]
\\[0ex]$\oplus$$x$$\in$fpf{-}domain(${\it conds}$).Rsends(${\it ds}$;$x$;${\it conds}$($x$).1;$l$;if isrcvl($l$;$x$)
\\[0ex]then ${\it tg}$ : $A$ $\oplus$ tag($x$) : ${\it conds}$($x$).1
\\[0ex]else ${\it tg}$ : $A$
\\[0ex]fi ;[\=$<$${\it tg}$\+
\\[0ex], \=$\lambda$$s$,$v$. if can{-}apply($\lambda$$p$.let $s$,$v$ = $p$ in (${\it conds}$($x$).2)($s$,$v$);$<$$s$, $v$$>$)\+
\\[0ex]then [do{-}apply($\lambda$$p$.let $s$,$v$ = $p$ in (${\it conds}$($x$).2)($s$,$v$);$<$$s$, $v$$>$)]
\\[0ex]else []
\\[0ex]fi 
\-\\[0ex]$>$])])
\-\-
\end{tabbing}